#ifndef _TRIER_H
#define _TRIER_H

#include "../data.h"
#include<stdlib.h>
#include<stdio.h>
#include<string.h>

char* unifier[MaxCol][2];
int pos;

boolean MGU(char* x, char* y);
void prove_goal(int urut);

#endif
